main: Update pointer focus state for button releases
authorMatthias Clasen <mclasen@redhat.com>
Sat, 19 Sep 2020 20:45:56 +0000 (16:45 -0400)
committerMatthias Clasen <mclasen@redhat.com>
Sat, 19 Sep 2020 20:48:15 +0000 (16:48 -0400)
commit661da6baec21f390466c7f59249fe7b2d5027320
tree86471445ae733101df60ac35d2fc91d2b4a42b00
parent6b708e9b602b945d674be05c7b68580d5d7d75bc
main: Update pointer focus state for button releases

Failure to do so makes the old pointer focus target
'sticky', because we end up ignoring the result of
picking the pointer focus until a motion event comes
in.

Fixes: #3172
gtk/gtkmain.c